Statement of Research Interests

نویسنده

  • WILLIAM CHRISTIAN BENTON
چکیده

D , high-performance software has always been difficult. Two contemporary challenges exacerbate matters further: the ubiquity of multi-core processors, which demand parallel software, and the increasing size and intricacy of software projects. My research program is motivated by my first-hand experience of these challenges as a developer and researcher. I seek to () raise the abstraction level of next-generation software by developing simple yet powerful models and systems; () improve legacy software by developing analyses that bring research advances to mainstream languages; and () turn novel techniques into tools to evaluate their advantages in the real world. I have worked most often on problems related to program analysis, type systems, and concurrency, but I am also interested in declarative programming systems and runtime systems and virtual machines for high-level languages. In the future, I will draw on my experience to design abstractions for concurrency, develop type-based tools for program understanding, and improve the performance of high-level and declarative languages.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Correction: Implications of Hybridization, NUMTs, and Overlooked Diversity for DNA Barcoding of Eurasian Ground Squirrels

The Funding statement was erroneously left out of this publication. The publisher apologizes for this error. The Funding statement should read: "This research was supported by the Russian Foundation for Basic Research (RFBR; grant 14-04-00301) to SVT. Funding for DNA barcoding analysis at the Biodiversity Institute of Ontario was provided by grants from the Natural Sciences and Engineering Rese...

متن کامل

Jean Gourd Statement of Research

I believe that research and teaching collectively support one another. Research strengthens teaching; teaching sustains research. As a result, a lot of what drives my research is not only based on my personal interests within the field of computer science, but is also influenced by what I teach and, perhaps more specifically, the feedback that I receive from the students that I teach. I find th...

متن کامل

Personal Statement and Outline of Proposed Research to support a PhD application

My primary research interests lie in the fields of operating systems, distributed systems and programming languages. I also have interests in software engineering, networks, continuous media applications, sentient environments and human-computer interaction. I intend to pursue a career in research, and during 2005–6 have been a Research Assistant at the Computer Laboratory of the University of ...

متن کامل

Statement on Research

My research interests are primarily in software testing, with a focus on automated strategies and empirical methodologies for web application testing. I am also broadly interested in software engineering and distributed systems. In this statement, I present an overview of my doctoral thesis, extensions to my thesis, future research directions, and my experiences and philosophy on mentoring unde...

متن کامل

Statement of Research Interests and Goals

My research interests and activities over the past six years have mainly centered around three areas: Databases, Middleware for Distributed and Mobile Applications, and Hybrid Intelligent Systems and its Applications. In addition to these research areas, I was also actively involved in a NSF funded "Digital Library" project that created a central repository of educational materials for Computer...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007